#ifndef INTERNAL_KB_H
#define INTERNAL_KB_H
Concept* create_atomic_concept(char* name);
Concept* create_exists(Role* role, Concept* concept);
Concept* create_conjunction(int count, Concept* conjuncts[]);

Role* create_atomic_role(char* name);
Role* create_role_composition(int count, Role* roles[]);

Axiom* create_subclass_axiom(Concept* lhs, Concept* rhs);
Axiom* create_eqclass_axiom(Concept* lhs, Concept* rhs);
Axiom* create_subrole_axiom(Role* lhs, Role* rhs);

#endif
